Proceedings of the Fourth Workshop on Programming Language
نویسندگان
چکیده
The management of the operations acting over distributed and virtual resources plays an important role for achieving the success of modern distributed applications. In this paper, we advocate a notion of resources as entities with their own local policies and containing their global interactive properties. We introduce a variant of π-calculus with primitives to declare, acquire and release resource dynamically. A Control Flow Analysis predicting resource usage is also presented.
منابع مشابه
Fathoming the Cultural Schema of Ta’ne in Persian Language: A Cultural Linguistic Study
The aim of the present article is to probe the functions of the cultural schema of Ta’ne (sarcasm) in Persian. Results from 100 recorded instantiations of Ta’ne accumulated through ethnographic approach indicated that it served different functions including complaint, criticism, insult, contempt, humor, and compliment. The results were then discussed with reference to the cultural differences i...
متن کاملAn Investigation of Gender Differences Between Women’s and Men’s Informal Discussion in Iranian EFL Context
The language used by women and men differ in all speech communities. In order to examine some of these variations, the present study aimed to investigate the differences in an informal written discourse. For this purpose, a comparison between men’s and women’s informal language was made regarding length of utterances, questions, intensifiers, and hedges. Results revealed that men employed highe...
متن کاملRole of the Language School’s Principals in Academic Achievements
This study investigated the role of the principal in managing teaching and learning. It examined how and to whom principals distributed the management of teaching and learning. It was found that participants thought principals could improve school effectiveness most by engaging in activities that develop a good climate and ensure appropriate resources are available for instruction. There is a ...
متن کاملLinguistic Features of English Textese and Digitalk of Iranian EFL Students
This study aimed at investigating the English textese of Iranian EFL learners by scrutinizing the linguistic features through a qualitative design. In doing so, 700 messages were collected from 43 MA Iranian EFL learners of both genders. The features were categorized and analyzed calculating the frequency and percentage. The findings of the study showed that Iranian EFL students used different ...
متن کاملEighth International Conference on Principles and Practice of Constraint Programming – CP’02 WORKSHOP PROCEEDINGS MultiCPL’02: Workshop on Multiparadigm Constraint Programming Languages and RCoRP’02: Fourth Workshop on Rule-Based Constraint Reasoning and Programming
FaCiLe is an open source constraint programming library over integer finite domain written in OCaml, a functional language of the ML family. It offers all usual constraint system facilities to create and handle finite domain variables, arithmetic constraints (possibly nonlinear), built-in global constraints and search goals. FaCiLe allows as well to build easily user-defined constraints and goa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011